【automated_proof】什么意思_英语automated_proof的翻译_音标_读音_用法_例句_在线翻译

automated proof

[计] 自动验证

... automated programming 自动程序设计 automated proof 自动验证 automated reasoning 自动推理 ...

基于92个网页-相关网页

自动化证明

... 自动化程序设计 automated programming 自动化证明 automated proof 自动化出版系统 automated publishing system ...

基于1个网页-相关网页

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

However, rather than have part of the proof done by hand, and part by computer, he has automated the entire proof, and done so in such a manner that it is a formal proof.

ECONOMIST: Just what does it mean to prove something?
The 2013 model also features the next-gen Terrain Response system, which now includes a fully automated, idiot-proof terrain-sensing mode.

WSJ: 2013 Range Rover Review: If You Must Buy a Luxury SUV... | Rumble Seat

应用推荐

$firstVoiceSent

- 来自原声例句